/*
 * yauosk - Yet Another Useless Operating System Kernel
 *
 * Copyright (c) 2009-2010 Matteo Cicuttin
 * All rights reserved.
 * 
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 * notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 * notice, this list of conditions and the following disclaimer in the
 * documentation and/or other materials provided with the distribution.
 * 3. The name of the author may not be used to endorse or promote products
 * derived from this software without specific prior written permission.
 * 
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

#include <systm.h>
#include <arch/x86/machine.h>

int eax(void) { asm("movl %eax,%eax"); }
int ebx(void) { asm("movl %ebx,%eax"); }
int ecx(void) { asm("movl %ecx,%eax"); }
int edx(void) { asm("movl %edx,%eax"); }
int esi(void) { asm("movl %esi,%eax"); }
int edi(void) { asm("movl %edi,%eax"); }
int esp(void) { asm("movl %esp,%eax"); }
int ebp(void) { asm("movl %ebp,%eax"); }
int cr0(void) { asm("movl %cr0,%eax"); }
int cr3(void) { asm("movl %cr3,%eax"); }

void
x86_dump_registers(void)
{
	printf("EAX: %x  EBX: %x  ECX: %x  EDX: %x\n", eax(), ebx(), ecx(), edx());
	printf("ESI: %x  EDI: %x  ESP: %x  EBP: %x\n", esi(), edi(), esp(), ebp());
	printf("CR0: %x  CR3: %x\n", cr0(), cr3());
}
/*
void
x86_dump_page_table_entry(struct pgtbl_entry *pgtbl, int entry)
{	
	printf("PFA: %x avail: %x D: %d A: %d U/S: %d R/W: %d P:%d\n",
			pgtbl[entry].pfa,
			pgtbl[entry].avail,
			pgtbl[entry].d,
			pgtbl[entry].a,
			pgtbl[entry].us,
			pgtbl[entry].rw,
			pgtbl[entry].p);
}
*/